Shuttle contract for Aérospatiale

Models for Contract Conformance

We have implemented a contract checker for asynchronous, message-passing applications to check that service implementations conform to behavioural contracts. Our contract checker is based on a process algebraic theory of conformance and is implemented on top of a software model checker, Zing. The purpose of this paper is to explain the model construction implemented by our contract checker and ...

Simulation Evaluation of Single Shuttle and Twin Shuttle AS/RS

An Automated Storage and Retrieval System (AS/RS) operates a shuttle with computer process control to execute the storage and retrieval of warehouse stock. It can be equipped with the traditional single shuttle or the newly developed twin shuttle. There has been a significant literature on the comparison of single shuttle systems versus twin shuttle systems. Researchers agree that twin shuttle ...

Metallochaperones , an Intracellular Shuttle Service for

Enzymes that employ transition metals as co-factors are housed in a wide variety of intracellular locations or are exported to the extracellular milieu. A key question then arises: how are specific metal co-factors transported to diverse locations and subsequently sorted into the correct metalloenzymes? The mechanisms by which these tasks are accomplished are just now being unraveled. A new fam...

Development of shuttle vectors for spirochetes.

Constructions of Escherichia coli-spirochete shuttle vectors are based on naturally occurring plasmids, broad host range plasmids or bacteriophages. This review primarily focuses on genetic tools for Treponema denticola which is associated with periodontal diseases. The T. pallidum FlaA protein, E. coli beta-galactosidase, and the green fluorescent protein were successfully expressed in T. dent...

Redox Shuttle Additives for Lithium-Ion Battery